Internships

Martì Bosch Padros from Universitat Politècnica de Catalunya (UPC) Spain spent six months in the team to work on Automated Refactoring for Size Reduction of CSS Style Sheets.

Joel Ferreira Dos Santos from Universidade Federal Fluminense, UFF, Brasil spent a one year sandwich PhD in the team to work on the formal verification of multimedia presentations.